<?php echo $lines ?>